Sfoglia per Rivista THEORETICAL COMPUTER SCIENCE
Exact fluid lumpability in Markovian process algebra
2014-01-01 Tschaikowski, M; Tribastone, M
A large-scale assessment of exact lumping of quantitative models in the BioModels repository
2021-01-01 Perez-Verona, I. C.; Tribastone, M.; Vandin, A.
Linda based Applicative and Imperative Process Algebras
2000-01-01 DE NICOLA, R; R., Pugliese
Measuring security in IoT communications
2019-01-01 Bodei, Chiara; Chessa, Stefano; Galletta, Letterio
Model checking mobile stochastic logic
2007-01-01 DE NICOLA, R; Katoen, J. -P.; Latella, D.; Loreti, M; Massink, M.
Nondeterministic regular expressions as solutions of equational systems
2003-01-01 DE NICOLA, R; A., Labella
On the Expressive Power of Klaim-based Calculi
2006-01-01 DE NICOLA, R; D., Gorla; R., Pugliese
Relating strong behavioral equivalences for processes with nondeterminism and probabilities
2014-01-01 Bernardo, M; De Nicola, R; Loreti, M
Reversibility in the higher-order {\(\pi\)}-calculus
2016-01-01 I., Lanese; Mezzina, C; J. -B., Stefani
Semantic subtyping for the pi-calculus
2008-01-01 G., Castagna; DE NICOLA, R; D., Varacca
Symbolic computation of differential equivalences
2019-01-01 Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
Tackling continuous state-space explosion in a Markovian process algebra
2014-01-01 Tribastone, M; Tschaikowski, M
Testing Equivalences for Processes
1984-01-01 DE NICOLA, R; M., Hennessy
Types for Access Control
2000-01-01 R., Pugliese; DE NICOLA, R; G., Ferrari; Venneri, B.
Universal Axioms for Bisimulations
1993-01-01 P., Degano; DE NICOLA, R; U., Montanari
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Exact fluid lumpability in Markovian process algebra | 1-gen-2014 | Tschaikowski, M; Tribastone, M | |
A large-scale assessment of exact lumping of quantitative models in the BioModels repository | 1-gen-2021 | Perez-Verona, I. C.; Tribastone, M.; Vandin, A. | |
Linda based Applicative and Imperative Process Algebras | 1-gen-2000 | DE NICOLA, R; R., Pugliese | |
Measuring security in IoT communications | 1-gen-2019 | Bodei, Chiara; Chessa, Stefano; Galletta, Letterio | |
Model checking mobile stochastic logic | 1-gen-2007 | DE NICOLA, R; Katoen, J. -P.; Latella, D.; Loreti, M; Massink, M. | |
Nondeterministic regular expressions as solutions of equational systems | 1-gen-2003 | DE NICOLA, R; A., Labella | |
On the Expressive Power of Klaim-based Calculi | 1-gen-2006 | DE NICOLA, R; D., Gorla; R., Pugliese | |
Relating strong behavioral equivalences for processes with nondeterminism and probabilities | 1-gen-2014 | Bernardo, M; De Nicola, R; Loreti, M | |
Reversibility in the higher-order {\(\pi\)}-calculus | 1-gen-2016 | I., Lanese; Mezzina, C; J. -B., Stefani | |
Semantic subtyping for the pi-calculus | 1-gen-2008 | G., Castagna; DE NICOLA, R; D., Varacca | |
Symbolic computation of differential equivalences | 1-gen-2019 | Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea | |
Tackling continuous state-space explosion in a Markovian process algebra | 1-gen-2014 | Tribastone, M; Tschaikowski, M | |
Testing Equivalences for Processes | 1-gen-1984 | DE NICOLA, R; M., Hennessy | |
Types for Access Control | 1-gen-2000 | R., Pugliese; DE NICOLA, R; G., Ferrari; Venneri, B. | |
Universal Axioms for Bisimulations | 1-gen-1993 | P., Degano; DE NICOLA, R; U., Montanari |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile